AUTOMATED GENERALISATION WITHIN NMAs IN 2016

نویسندگان
چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Towards Automated Proof Strategy Generalisation

The ability to automatically generalise (interactive) proofs and use such generalisations to discharge related conjectures is a very hard problem which remains unsolved; this paper shows how we hope to make a start on solving this problem. We develop a notion of goal types to capture key properties of goals, which enables abstractions over the specific order and number of sub-goals arising when...

متن کامل

Automated Generalisation of Function Definitions

We address the problem of finding the common generalisation of a set of Haskell function definitions so that each function can be defined by partial application of the generalisation. By analogy with unification, which derives the most general common specialisation of two terms, we aim to infer the least general common generalisation. This problem has a unique solution in a first-order setting,...

متن کامل

Automated Generalisation of Function De nitions

We address the problem of nding the common generalisa-tion of a set of Haskell function deenitions so that each function can be deened by partial application of the generalisation. By analogy with uniication, which derives the most general common specialisation of two terms, we aim to infer the least general common generalisation. This problem has a unique solution in a rst-order setting, but n...

متن کامل

Linearisation of w-Proofs: ANew Method of Generalisation within Automated Deduction

Generalisation is a major 'open' problem in theorem-proving which must often be addressed when attempting automation of proofs involving mathematical induction. This paper proposes a new, uniform method of generalisation, involving the transformation of proofs, which encompasses many different types of generalisation and which may succeed when other methods fail.

متن کامل

Interactive and Automated Segmentation and Generalisation of Raster Data

This paper review past and current research activity in the area of generalisation of spatial data and presents a new methodological framework for segmentation and generalisation of raster data. In order to overcome drawbacks associated with supervised classification and generalisation of raster data, an Interactive Automated Segmentation and Raster Generalisation Framework (IASRGF) was develop...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences

سال: 2016

ISSN: 2194-9034

DOI: 10.5194/isprs-archives-xli-b4-647-2016